RUNNING AT 275732  LOAD AV. =   3.31, USED 0:00:07.0 IN 0:01:15
Good afternoon.
←LOAD(LL)
FILE CREATED  6-JUL-75 17:08:53
LLCOMS
Note that we ARE loading the file UTIL4.COM at this time.
COMPILED ON  9-JUL-75 21:23:49
FILE CREATED  9-JUL-75 21:23:41
(LISTFILES1 redefined)

GC: 1
452, 4036 FREE WORDS
UTIL4COMS
(GLOBALVARS reset)
(UCASELST reset)
(USERMACROS reset)
(EDITCOMSA reset)
(EDITCOMSL reset)
COMPILED ON  9-JUL-75 21:35:50
FILE CREATED  9-JUL-75 21:11:30

GC: 1
1178, 4250 FREE WORDS
(MKSWAPP redefined)
TOP4COMS
(DWIMUSERFN reset)

YOU PROBABLY WANT TO LOAD IN THE FILE CON4 NOW
COMPILED ON  9-JUL-75 21:29:53
FILE CREATED  9-JUL-75 21:14:47

GC: 1
4217, 4217 FREE WORDS
CON4COMS
THE NUMBER OF CONCEPTS IS 79
<LENAT>LL.;2
←
STORAGE(T)

TYPE USED      ASSIGNED  SYSTEM
1    6375      8192      33280
2    5120      5120      54272
4    80        512       512
8    6372      24064     19456
12   1371      3072      13824
16   0         512       512
18   328       2048      1536
24   85        512       1536
28   1518      2048      9216
30   379       512       3072
SUM  21628     46592     137216
NIL
←
LISPXSTATS)
(3 LISPX INPUTS)
(2156 UNDO SAVES)





OF THOSE DUE TO ERRORS:

OF THE CALLS DUE TO DWIMIFYING:






(0:4:1 CONSOLE TIME)
(0:0:0 OF IT IN THE EDITOR)

(0:0:43 CPU TIME)
(0:0:0 OF IT IN DWIM)
T
←
CONCEPTS
(ORD-OBJ-EXS ORD-OBJ ACTIVE ACTIVE-EXS ANYB ANYB-ANAS ANYB-ANYP ANYB-CHE
**CK ANYB-CHECK1 ANYB-CHECK2 ANYB-D-R ANYB-DEFN
ANYB-DEFN-NOT ANYB-DOMAIN ANYB-EXS ANYB-EXS-BDY ANYB-EXS-NOT ANYB-EXS-NO
**T-BDY ANYB-FILLIN ANYB-FILLIN1 ANYB-FILLIN2
ANYB-GENL ANYB-IN-DOM-OF ANYB-IN-RAN-OF ANYB-INIT ANYB-INT ANYB-INT-NOT 
**ANYB-INTU ANYB-INV ANYB-RANGE ANYB-RESTRUC
ANYB-SPEC ANYB-SUGG ANYB-UP ANYB-VIEW ANYB-WORTH BAG-STRUC BAG-STRUC-DEL
**ETE BAG-STRUC-INSERT COMPOSE COMPOSE-D-R 
COMPOSE-EXS CONSTRUCTIVE FINAL FIRST LIST-STRUC LIST-STRUC-DELETE LIST-S
**TRUC-INSERT MULT-STRUC NONMULT-STRUC OBJ-EQUAL
OBJECT OBJECT-EXS OPERATION ORD-OBJ ORD-PAIR ORD-STRUC OSET-STRUC OSET-S
**TRUC-DELETE OSET-STRUC-INSERT PREDICATE REAR
RELATION SET-STRUC SET-STRUC-DELETE SET-STRUC-DIFF SET-STRUC-INSERT SET-
**STRUC-INTERSECT STRUCTURE STRUCTURE-DELETE
STRUCTURE-DIFF STRUCTURE-EQUAL STRUCTURE-EXS STRUCTURE-EXS-BDY STRUCTURE
**-INSERT STRUCTURE-INTERSECT STRUCTURE-MEMB
UNORD-OBJ UNORD-OBJ-EXS)
←EDITV(CONCEPTS)
edit

*-1
*BF ORD-OBJ
*P
... ORD-OBJ ORD-PAIR ORD-STRUC OSET-STRUC OSET-STRUC-DELETE OSET-STRUC-I
**NSERT PREDICATE REAR RELATION SET-STRUC 
SET-STRUC-DELETE SET-STRUC-DIFF SET-STRUC-INSERT SET-STRUC-INTERSECT STR
**UCTURE STRUCTURE-DELETE STRUCTURE-DIFF 
STRUCTURE-EQUAL STRUCTURE-EXS STRUCTURE-EXS-BDY STRUCTURE-INSERT STRUCTU
**RE-INTERSECT STRUCTURE-MEMB UNORD-OBJ 
UNORD-OBJ-EXS)
*(1)

*OK
CONCEPTS
←REDO EDITV
edit
*F ORD-STRUC
*P
... ORD-STRUC OSET-STRUC OSET-STRUC-DELETE OSET-STRUC-INSERT PREDICATE R
**EAR RELATION SET-STRUC SET-STRUC-DELETE 
SET-STRUC-DIFF SET-STRUC-INSERT SET-STRUC-INTERSECT STRUCTURE STRUCTURE-
**DELETE STRUCTURE-DIFF STRUCTURE-EQUAL 
STRUCTURE-EXS STRUCTURE-EXS-BDY STRUCTURE-INSERT STRUCTURE-INTERSECT STR
**UCTURE-MEMB UNORD-OBJ UNORD-OBJ-EXS)
*(1)

*OK
CONCEPTS
←CHANGE-B(STRUCTURE-INSERT D-R)
... D-R (ANY-OF NIL))
tty:

*-1 P
(ANY-OF NIL)
*E GETP(ANYB-D-R INIT)
(ANY-OF NIL)

*E GETP(ANYB-D-R UNDO-INIT)
NIL

*E GETP(D-R UNDO-INIT)
ACCESS

*E PUT(D-R UNDO-INIT CDDR)
CDDR

*E PUT(D-R UNDO-INIT ACCESS)
ACCESS

*P
(ANY-OF NIL)
*E PUT(ANYB-D-R INIT (ANY1OF NIL]
(ANY1OF NIL)

*E PUT(D-R UNDO-INIT CDDR)
CDDR

*E PUT(D-R UNDO-INIT CDR)
CDR

*E PUT(ANYB-D-R INIT (ANY1OF]
(ANY1OF)

*P
(ANY-OF NIL)
*(: (VECTOR (ANYTHING STRUCTURE STRUCTURE)]

*0 P
... D-R (VECTOR &))
*0 P
(GENL (OPERATION) WORTH (0) ALGS (ANY1OF &) UP (STRUCTURE-IN-DOM-OF) D-R
** (VECTOR &))
*OK

STRUCTURE-INSERT, D-R
D-R
←PUT(ANYB-D-R INIT (VECTOR]
(VECTOR)
←
PUT(ANYB-D-R INIT (OSET]
(OSET)
←
CHANGE-B)
STRUCTURE-INSERT
D-R
... D-R (VECTOR &))
tty:

*2 (1 OSET)

*P
(OSET (ANYTHING STRUCTURE STRUCTURE))
*OK

STRUCTURE-INSERT, D-R
D-R
←ACCEPT-B(ANYTHING ANYB)



GC: 8
 RUNNING AT 22301  LOAD AV. =   1.51, USED 0:01:14.3 IN 0:17:02
5281, 35430 FREE WORDS
edit

*P
(FROM-FILE CON4)
*OK
edit
*P
(GENL NIL INT (IPLUS 0) WORTH (0) VIEW (ANY-OF & & &))
*(3)

*(3)

*P
(GENL NIL WORTH (0) VIEW (ANY-OF & & &))
*LI 5
*(5 DEFN (ANY1OF (TYPE TRIVIAL CONSTANT T]

*P
(GENL NIL WORTH (0) DEFN (ANY1OF &))
*OK
THE NUMBER OF CONCEPTS IS NOW 78
ANYTHING
←CHANGE-B(ANYTHING ALGS)
... ALGS NIL)
tty:

*(2 (ANY1OF (TYPE TRIVIAL CONSTANT T]

*OK

ANYTHING, ALGS
ALGS
←ANYTHING(DEFN)
(ANYTHING-E-DEFN compiling)
(ANYTHING-E-DEFN (BA1 BA2 BA3) NIL)
T
←
ANYTHING(ALGS)
(ANYTHING-E-ALGS compiling)
(ANYTHING-E-ALGS (BA1 BA2 BA3 BA4) NIL)
T
←
(MAPC (SPEC ACTIVE) (FUNCTION (LAMBDA (A) (PRINT A)(CHANGE-B A D-R]
RELATION
ALGS
... ALGS NIL)
tty:

*E SET(D-R D-R)
(D-R reset)
D-R

*(2)

*(:)

*0 P
(GENL (ACTIVE) WORTH (0))
*OK

RELATION, ALGS
PREDICATE
... D-R (OSET))
tty:
*-1 P
(OSET)
*(N (ANYTHING TRUTH-VAL))

*OK

PREDICATE, D-R
OPERATION
... D-R (OSET))
tty:
*OK

OPERATION, D-R
ACTIVE
... D-R (OSET))
tty:
*OK

ACTIVE, D-R
NIL
←REMPROP(OPERATION D-R)
D-R
←
REMPROP(ACTIVE D-R)
D-R
←
KINDS-OF(ACTIVE)
(RELATION PREDICATE OPERATION ACTIVE)
←
MAPB((AND (ISA B 'ACTIVE)(OR (EQ (CAR (GETP B 'D-R) ) 'OSET)
(PROGN (PRINT B)(CHANGE-B B 'D-R]
ACTIVE
... D-R (OSET))
tty:

*(2)

*(:)

*OK

ACTIVE, D-R
NIL
←ISA(STRUCTURE-DELETE ACTIVE)
NIL
←
GENL(STRUCTURE-DELETE)
(ANYB ACTIVE OPERATION STRUCTURE-DELETE)
←
EDITF(ISA)
loading from <LENAT>TOP4.;13
prop 
edit

*R APPLYB GETB
*OK
unsaved
ISA
←REDO MAPB
ACTIVE
... D-R (OSET))
tty:
*(2)

*(:)

*OK

ACTIVE, D-R
BAG-STRUC-DELETE
... D-R (OSET))
tty:
*2
*(N ANYTHING BAG-STRUC BAG-STRUC)

*OK

BAG-STRUC-DELETE, D-R
BAG-STRUC-INSERT
... D-R (OSET))
tty:
*2
*REDO N
*P
(OSET ANYTHING BAG-STRUC BAG-STRUC)
*OK

BAG-STRUC-INSERT, D-R
COMPOSE
... D-R (ANY-OF & &))
tty:
*(2 (OSET (ACTIVE ACTIVE ACTIVE)(OPERATION OPERATION OPERATION)(RELATION
** RELATION
RELATION)(PREDICATE ACTIVE PREDICATE)))

*OK

COMPOSE, D-R
CONSTRUCTIVE
... D-R (OSET))
tty:
*(2)

*(:)

*OK

CONSTRUCTIVE, D-R
LIST-STRUC-DELETE
... D-R (OSET))
tty:
*2
*(N (ANYTHING LIST-STRUC LIST-STRUC))

*OK

LIST-STRUC-DELETE, D-R
LIST-STRUC-INSERT
... D-R (OSET))
tty:
*2
*REDO N
P
(OSET (ANYTHING LIST-STRUC LIST-STRUC))
*OK

LIST-STRUC-INSERT, D-R
OBJ-EQUAL
... D-R (OSET))
tty:
*2 (N (OBJECT OBJECT TRUTH-VAL]

*OK

OBJ-EQUAL, D-R
OPERATION
... D-R (OSET))
tty:
*(2)

*(:)

*OK

OPERATION, D-R
OSET-STRUC-DELETE
... D-R (OSET))
tty:
*2
*(N (ANYTHING OSET-STRUC OSET-STRUC)]

* IO WAIT AT 16131  LOAD AV. =   1.77, USED 0:01:40.3 IN 0:37:23
OK

OSET-STRUC-DELETE, D-R
OSET-STRUC-INSERT
... D-R (OSET))
tty:
*2
*REDO N
P
(OSET (ANYTHING OSET-STRUC OSET-STRUC))
*OK

OSET-STRUC-INSERT, D-R
RELATION
... D-R (OSET))
tty:
*(2)

*(:)

*OK

RELATION, D-R
SET-STRUC-DELETE
... D-R (OSET))
tty:
*2 (N (ANYTHING SET-STRUC SET-STRUC))

*OK

SET-STRUC-DELETE, D-R
SET-STRUC-DIFF
... D-R (OSET))
tty:
*2
*REDO N
P
(OSET (ANYTHING SET-STRUC SET-STRUC))
*OK

SET-STRUC-DIFF, D-R
SET-STRUC-INSERT
... D-R (OSET))
tty:
*2
*REDO N
*P
(OSET (ANYTHING SET-STRUC SET-STRUC))
*OK

SET-STRUC-INSERT, D-R
SET-STRUC-INTERSECT
... D-R (OSET))
tty:
*2
*(N (SET-STRUC SET-STRUC SET-STRUC]

*OK

SET-STRUC-INTERSECT, D-R
STRUCTURE-DELETE
... D-R (OSET))
tty:
*2
*(N (ANYTHING STRUCTURE STRUCTURE]

*OK

STRUCTURE-DELETE, D-R
STRUCTURE-DIFF
... D-R (OSET))
tty:
*2
*(N (STRUCTURE STRUCTURE STRUCTURE]

*OK

STRUCTURE-DIFF, D-R
STRUCTURE-EQUAL
... D-R (OSET))
tty:
*2
*(N (STRUCTURE STRUCTURE TRUTH-VAL]

*OK

STRUCTURE-EQUAL, D-R
STRUCTURE-INTERSECT
... D-R (OSET))
tty:
*2
*(N (STRUCTURE STRUCTURE STRUCTURE]

*OK

STRUCTURE-INTERSECT, D-R
STRUCTURE-MEMB
... D-R (OSET))
tty:
*2
*(N (ANYTHING STRUCTURE TRUTH-VAL]

*OK

STRUCTURE-MEMB, D-R
NIL
←(PUT 'SET-STRUC-DIFF 'D-R (COPY (GETP 'SET-STRUC-INTERSECT 'D-R]
(OSET (SET-STRUC SET-STRUC SET-STRUC))
←
FIX MAPB
edit
*-1 P
((AND & &))
*-1 P
(AND (ISA B &) (OR & &))
*3 2 P
(EQ (CAR &) (QUOTE OSET))
*0 P
(OR (EQ & &) (PROGN & &))
*XTR 3
*(B (GETP B 'D-R)(ATOM (CADR (GETP B 'D-R]

*OK
BAG-STRUC-DELETE
... D-R (OSET ANYTHING BAG-STRUC BAG-STRUC))
tty:
*2
*LI 2
P
(OSET (ANYTHING BAG-STRUC BAG-STRUC))
*OK

BAG-STRUC-DELETE, D-R
BAG-STRUC-INSERT
... D-R (OSET ANYTHING BAG-STRUC BAG-STRUC))
tty:
*LI 2 2

(LI 2 2)  ?
*2
*LI 2
P
(OSET (ANYTHING BAG-STRUC BAG-STRUC))
*OK

BAG-STRUC-INSERT, D-R
NIL
←